<?php
function F01($a,$b=false,$c=512,$d=0){
    return json_decode($a,$b,$c,$d);
}
function F02($a,$b=0,$c=512){
    return json_encode($a,$b,$c);
}
function F03($a){
    return file_get_contents($a);
}
function F04($a,$b,$c=0,$d=null){
    return file_put_contents($a,$b,$c,$d);
}